home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / src / bint / b3sem.h < prev    next >
Encoding:
C/C++ Source or Header  |  1988-11-24  |  935 b   |  49 lines
  1. /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
  2.  
  3. /*
  4.   $Header: b3sem.h,v 1.4 85/08/22 16:44:32 timo Exp $
  5. */
  6.  
  7. /* bsem.h: semantics */
  8.  
  9. typedef bool outcome;
  10. #define Und ((bool) '?') /* absence of REPORTed outcome */
  11.  
  12. /* Locations */
  13. loc local_loc();
  14. loc global_loc();
  15. value content();
  16. /* Procedure check_location(); */
  17. loc trim_loc();
  18. loc tbsel_loc();
  19. /* Procedure put(); */
  20. /* Procedure putcheck(); */
  21. /* Procedure l_delete(); */
  22. /* Procedure l_insert(); */
  23. /* Procedure l_remove(); */
  24. /* Procedure choose(); */
  25. /* Procedure draw(); */
  26. /* Procedure bind(); */
  27.  
  28. /* Functions and Predicates */
  29. bool is_zerfun();
  30. bool is_monfun();
  31. bool is_dyafun();
  32. bool is_zerprd();
  33. bool is_monprd();
  34. bool is_dyaprd();
  35. /* Procedure initfpr(); */
  36.  
  37. /* Elaboration: */
  38. value pre_fun();
  39. outcome pre_prop();
  40.  
  41. /* B units */
  42.  
  43. extern value resval;
  44. extern bool terminated;
  45.  
  46. /* Procedure udfpr(); */
  47. bool ref_com();
  48. /* Procedure ref_et(); */
  49.